A Proposal for a LOTOS-Based Semantics for UML
نویسنده
چکیده
منابع مشابه
A True Concurrency Semantics for ET-LOTOS
One of the central objectives of the LOTOS re-standardisation activity is to deene an enhanced LOTOS language which supports real-time speciica-tion. The timed extension is based upon a timed LOTOS proposal ET-LOTOS. This paper deenes a (branching-time) non-interleaving semantics for ET-LOTOS without data. As a denotational model a suitable timed extension of Langerak's bundle event structures ...
متن کاملA Proposal for Coroutines in E-LOTOS
This paper proposes a coroutine operator for E-Lotos. The syntax, the static semantics, and the dynamic semantics of the operator are provided. We show by several examples that the coroutine operator is adequate to express suspension and resuming. Moreover, it is more general and simpler than the suspend-resume operator.
متن کاملFrench - Romanian Proposal for a Correct
We exhibit a defect in the deenition of Lotos (ISO/IEC standard IS-8807). We show that the standard semantics for parameterized and actualized types | although it is consistent in itself | is not satisfactory in case of multiple instantiations of the same generic type, and leads to strange behaviours in existing Lotos tools. We indicate how to avoid this problem when writing formal speciication...
متن کاملUse of E-LOTOS in Adding Formality to UML
E-LOTOS, a new version of the ISO standard speci cation language LOTOS, is currently being developed. We describe how it can be used to give a formal meaning to, and to discover inconsistencies in, UML models. As part of this work, we give mappings from UML constructs to E-LOTOS. Emphasis is placed on dealing with UML use case, class and interaction diagrams as these play the dominant part in t...
متن کاملRT-LOTOS and Its Application to Multimedia Protocol Specification and Validation
The paper presents a new Formal Description Technique , RT-LOTOS (Real-Time LOTOS), which is a temporal extension of the standard Formal Description Technique LOTOS. After a brief introduction to Basic LOTOS, the main time-related operators of RT-LOTOS are detailed step by step on small examples, and then formalized (RT-LOTOS operational semantics). The second part of the paper shows the applic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001